-
1 vérification formelle
Dictionnaire polytechnique Français-Russe > vérification formelle
-
2 vérification
fконтроль; проверка; верификация- vérification automatique
- vérification du bon fonctionnement
- vérification du cadran
- vérification des caractères
- vérification du codage
- vérification de connexion
- vérification des contraintes
- vérification de cote
- vérification directe
- vérification de la division
- vérification dynamique
- vérification par échantionnage
- vérification d'enregistrement
- vérification expérimentale
- vérification au flambage
- vérification à la flexion
- vérification formelle
- vérification au glissement
- vérification d'inclinaison
- vérification numérique
- vérification point par point
- vérification de la polarisation
- vérification de programme
- vérification par rayons gamma
- vérification de la rigidité diélectrique
- vérification à la rupture
- vérification des spécifications
- vérification au spectrographe
- vérification par ultrasons
- vérification des vibrations
См. также в других словарях:
Verification formelle — Vérification formelle On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour… … Wikipédia en Français
Vérification formelle — On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique … Wikipédia en Français
Vérification (homonymie) — Vérification peut renvoyer à: la théorie vérificationniste de la signification du Cercle de Vienne; la Vérification formelle Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Ce document provient de «… … Wikipédia en Français
Vérification — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Vérification peut renvoyer à : la théorie vérificationniste de la signification du Cercle de Vienne ; la vérification formelle. Catégorie :… … Wikipédia en Français
Methode formelle (informatique) — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français
Méthode formelle — (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels… … Wikipédia en Français
Méthode formelle (informatique) — Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels électroniques, afin … Wikipédia en Français
Vérité formelle — Vérité Pour les articles homonymes, voir La Vérité … Wikipédia en Français
Vérifiable — Vérification formelle On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour… … Wikipédia en Français
Vérificabilité — Vérification formelle On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour… … Wikipédia en Français
Méthodes formelles — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français